COMMENT ⊗   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input hdr[am,dbl]
C00004 00003	\def\asecbegin#1{\hjust{\:=Appendix #1}
C00007 00004	\def\NSECP #1{
C00020 00005	\setcount4 3
C00022 00006	\NNSECP{Acknowledgements}
C00035 ENDMK
C⊗;
\input hdr[am,dbl]
\def\1{\:a}
\def\0{\:a\ }
\def\2{\:q}
\def\3{\:t}
\def\4{\:n}
\def\5{\:<}
\def\6{\:r}
\gdef\half{1}  % Randy: reset to {2} (for "second half" of book)
\runninglefthead{AM: DISCOVERY IN MATHEMATICS AS HEURISTIC SEARCH} % Reset this.
\setcount0 1   % Randy: change to setcount0 289, if 290 is first page in your half
\setcount4 0
\setcount5 0
\setcount8 854 % This 854 will show up quickly if there is a bug somewhere
\def\forall{\mathrel{\char'470}}
\def\hook{\mathrel{\char'472}}
\def\han #1{\hangindent #10pt for 99 \noindent}
\def\asecbegin#1{\hjust{\:=Appendix #1}
	\penalty 1000 \vskip 6pt plus 3pt
	\acpmark{\chd}{\csec}
	\noindent\tenpoint\!}
\def\asusecb#1{\yyskip
	\acpmark{\chd}{\csec}
	{\noindent{\:=Appendix #1.}\tenpoint\xskip\!}\par \yskip}
\def\asssecbegin#1{\yyskip{\noindent
	{\:>Appendix #1.}\tenpoint\xskip\!}\par \yskip}
\def\GET #1{\input #1 \vfill}
\def\GGET #1{}
\def\BN{\setcount8 0}
\def\inbox#1{\vjust{\hrule\hjust{\vrule\hskip 2pt 
             \vjust{\vskip 2pt #1 \vskip 2pt}\hskip 2pt\vrule}\hrule}}
\def\hh{\advcount8 {\6\count8 . }}
\setcount9 1
\def\foo #1{\advcount9  {\footnote {\unskip
               $↑{\count9}$\unskip}{#1}}}
\def\threstar #1{\vfill\yyskip {\hjust {\inbox{\inbox{\hjust{\:t#1}}}}} \yskip}
\def\colontwo #1{\advcount8 {\6 ** ${\underline{Task\  \count8}}$ ** #1}}
\def\strdotstr #1{$\underline{#1}$}
\def\inv{\raise 2.1pt\hjust{\:d-1}}
\def\minv{{\scriptstyle{\raise 2.1pt\hjust{-1}}}}
\def\qq #1#2{\yskip \ninepoint 
             {\hangindent 40pt for 44 {\it \noindent #1}} \par
             {\ctrline{\sl --- \ #2\0}}\tenpoint \yskip}
\def\hs#1#2{\yyskip \inbox{\inbox{\hjust{{\5 #1 . #2}}}} \yskip}
\def\bh{\ninepoint \parindent 0pt \parskip 1pt \yskip \sl}
\def\eh{\tenpoint \parindent 19pt \parskip 0pt \yskip \rm}
\save2\ctrline{{\2 CONTENTS}}
\def\NSECP #1{
 \titlepage\tenpoint
 \vfill
 \advcount4
 \runningrighthead{#1}
 \section{\half .\count4}
 \eject
 \sectionbegin{\half .\count4. \:; #1}
 \setcount5 0
 \setcount9 0
  % was: SAVE1\vjust{\hjust{\box2} \yskip \hjust{\bf\half .\count4. \ #1 \9 \count0}}
  % 2\box1
 }
\def\SSEC #1{
 \advcount5
 \setcount6 0
 \runningrighthead{#1}
 \section{\half .\count4.\count5}
 \sectionskip  
 \minsectionbegin{\half .\count4.\count5. #1}
  % 1\vjust{\hjust{\box2} \hjust{\hskip 5pt \rm\half .\count4.\count5 \ #1 \9 \count0}}
  % 2\box1
 }
\def\SSSEC #1{   
 \advcount6
 \setcount7 0
 \runningrighthead{#1}
 \section{\half .\count4.\count5.\count6}
 \sectionskip  
 \dimsectionbegin{\half .\count4.\count5.\count6. #1}
  % 1\vjust{\hjust{\box2} \hjust{\hskip 15pt \sl\half .\count4.\count5.\count6. \ #1 \9 \count0}}
  % 2\box1
 }
\def\ASEC #1{
 \runninglefthead{AM: DISCOVERY IN MATHEMATICS AS HEURISTIC SEARCH}
 \titlepage\tenpoint
 \vfill
 \advcount4
 \runningrighthead{#1}
 \section{App. \half .\count4 }
 \eject
 \asecbegin{\half .\count4. \:; #1}
 \setcount5 0
 \setcount9 0
  % 1\vjust{\hjust{\box2} \yskip \hjust{\bf Appendix \half .\count4. \ #1 \9 \count0}}
  % 2\box1
 }
\def\SSECP #1{
 \advcount5
 \setcount6 0
 \runningrighthead{#1}
 \section{\half .\count4.\count5}
 \eject  
 \minsectionbegin{\half .\count4.\count5. #1}
  % 1\vjust{\hjust{\box2} \hjust{\hskip 5pt \rm\half .\count4.\count5 \ #1 \9 \count0}}
  % 2\box1
 }
\def\ASSEC #1{
 \advcount5
 \setcount6 0
 \runningrighthead{#1}
 \section{App. \half .\count4.\count5}
 \sectionskip  
 \asusecb{\half .\count4.\count5. #1}
  % 1\vjust{\hjust{\box2} \hjust{\hskip 5pt \rm\half .\count4.\count5 \ #1 \9 \count0}}
  % 2\box1
 }
\def\ASSECP #1{
 \advcount5
 \setcount6 0
 \runningrighthead{#1}
 \section{App. \half .\count4.\count5}
 \eject  
 \asusecb{\half .\count4.\count5. #1}
  % 1\vjust{\hjust{\box2} \hjust{\hskip 5pt \rm\half .\count4.\count5 \ #1 \9 \count0}}
  % 2\box1
 }
\def\ASSSEC #1{   
 \advcount6
 \setcount7 0
 \runningrighthead{#1}
 \section{App. \half .\count4.\count5.\count6}
 \sectionskip  
 \asssecbegin{\half .\count4.\count5.\count6. #1} % Note: no CONTENTS entry
 }
\def\NNSECP #1{
 \titlepage\tenpoint
 \vfill
 \advcount4
 \runningrighthead{#1}
 \section{{ }}
 \eject
 \ctrline{\:=#1}
	\penalty 1000 \vskip 6pt plus 3pt
	\acpmark{\chd}{\csec}
	\noindent\tenpoint\!
 \setcount5 0
 \setcount9 0
  % 1\vjust{\hjust{\box2} \hjust{\bf #1 \9 \count0}}
  % 2\box1
 }
\setcount4 3
\GET{KNOWL[am,dbl]}
\vfill\eject\end
\GET{OVERV}
\GET{EXAM1}
\GET{AGENDA}
\GET{HEURS}
\GET{KNOWL}
\GET{RESULT}
\GET{EVALU}
\GET{ALLCON}
\GET{ALLHEU}
\GET{TRACES}
\GET{BIB}
\NNSECP{Acknowledgements}

I owe a  great debt of thanks to  many people, both for the  input of
new ideas and for the evaluation, channelling, and pruning of my own.

Let me begin by alphabetically thanking my thesis committee: Bruce Bu\-chan\-an,
Ed  Fei\-gen\-baum,  Cor\-dell   Green,  Don   Knuth,  and  Allen   New\-ell.
In\-ter\-act\-ing with each of them has been an exciting experience, and my
research has greatly benefited from their guidance.

The following individuals have each 
informally supplied some ideas or comments that appear within this
book. They all have earned my gratitude, and have significantly improved
the experence you are about to have, that of reading this book:
Danny Bobrow,
Paul Cohen,
Avra Cohn,
Randy Davis,
Bob Floyd, 
Carl Hewitt,
Bernard Meltzer,
Donald Michie,
Nils Nilsson,
Earl Sacerdoti, 
Herb Simon,
and Terry Winograd.

This research relied heavily upon the sophisticated computing environments
provided by
SAIL,
SRI, SU\-MEX, and XE\-ROX-PARC.

Around this point in the \4Acknowledgements\1,  most books and theses have some
sort of tribute to the author's wife. Until I was in the throes of
this research,  I  never fully  appreciated  the importance  of  such
support.   So  let me  sincerely acknowledge  the indispensable  aid I
received  from Merle,  my wonderful  wife, who  put up  with inverted
schedules and who gave me the confidence to tackle  this problem and
the enthusiasm to keep going.


\vfill

\eject

\box2

\vfill\end